From: Norbert Manthey Date: Tue, 31 Jul 2018 15:11:36 +0000 (+0200) Subject: memory: fix label syntax X-Git-Tag: archive/raspbian/4.14.0+80-gd101b417b7-1+rpi1^2~63^2~3525 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22%22/%22http:/www.example.com/cgi/%22https:/%22%22?a=commitdiff_plain;h=b75bd296d7e8f444362e5e321d09825078875f11;p=xen.git memory: fix label syntax When compiling this file with gcc, the compiler happily accepts the sequence of a label followed by an attribute. However, this sequence does not follow the gcc documentation. Hence, other compilers might stumble upon this statement. To be able to compile Xen with goto-cc (the compiler of the CPROVER tool suite), the missing semicolon is added in this commit. Reported-by: Elizabeth Polgreen Signed-off-by: Norbert Manthey Reviewed-by: Jan Beulich --- diff --git a/xen/common/memory.c b/xen/common/memory.c index 75010b78a5..e29d596727 100644 --- a/xen/common/memory.c +++ b/xen/common/memory.c @@ -387,7 +387,7 @@ int guest_remove_page(struct domain *d, unsigned long gmfn) put_page(page); put_page(page); - out_put_gfn: __maybe_unused + out_put_gfn: __maybe_unused; put_gfn(d, gmfn); /*